Types of Solver